| Module | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|
| Advanced Automata Theory | Fach-/Modulprüfung | 6 | 531708 | ||
| Algorithmic Foundations of Datascience | Fach-/Modulprüfung | 6 | 531286 | Do 14.08.2025 09:00-11:00 Roter Hörsaal AM (Ro) (1420|002) TEMP2 (1515|002) Do 11.09.2025 12:00-14:00 B201 (3011|201) Roter Hörsaal AM (Ro) (1420|002) | |
| Vorlesung | 525927 | Di 10:30-12:00 AH II (2350|111) (×13) Fr 10:30-12:00 AH II (2350|111) (×13) | |||
| Übung | 525913 | Mi 14:30-16:00 AH I (2350|028) (×13) | |||
| Algorithmische Modelltheorie I | Fach-/Modulprüfung | 9 | 528281 | ||
| Compilerbau | Fach-/Modulprüfung | 6 | 534496 | Di 29.07.2025 12:00-14:00 Großer Hörsaal AM (1420|210) H01 (1385|101) H02 (1385|102) Di 02.09.2025 09:00-11:00 Großer Hörsaal AM (1420|210) H02 (1385|102) Roter Hörsaal AM (Ro) (1420|002) | |
| Vorlesung | 533716 | Di 12:30-14:00 AH III (2350|314.1) (×13) Mi 14:30-16:00 AH III (2350|314.1) (×13) | |||
| Übung | 533717 | Fr 12:30-14:00 AH II (2350|111) (×13) | |||
| Diskrete und Kombinatorische Optimierung | Fach-/Modulprüfung | 9 | 529907 | Mo 11.08.2025 12:00-14:00 I (1010|101) II (1010|201) Mi 24.09.2025 14:00-16:00 AH V (2356|050) | |
| Vorlesung | 527335 | Mi 08:30-10:00 SFo 11 (1821|011) (×14) Do 12:30-14:00 Z3 (1420|302) (×11) | |||
| Übung | 527336 | Mo 16:30-18:00 H09 (1385|220) (×13) | |||
| Dynamical Processes on Networks | Fach-/Modulprüfung | 6 | 529284 | ||
| Effiziente Algorithmen | Fach-/Modulprüfung | 6 | 528016 | ||
| Foundations of Functional Programming | Fach-/Modulprüfung | 6 | 530040 | ||
| Foundations of Logic Programming | Fach-/Modulprüfung | 6 | 531301 | Mi 06.08.2025 09:00-11:00 Großer Hörsaal AM (1420|210) H01 (1385|101) H02 (1385|102) Otto Fuchs-Hörsaal (H03) (1385|003) Mo 01.09.2025 09:00-11:00 Großer Hörsaal AM (1420|210) H02 (1385|102) | |
| Übung | 532443 | Do 10:30-12:00 AH IV (2354|030) (×11) | |||
| Vorlesung | 532442 | Do 16:30-18:00 AH II (2350|111) (×11) Fr 14:30-16:00 AH III (2350|314.1) (×13) | |||
| Introduction to Quantum Computing | Fach-/Modulprüfung | 6 | 529571 | ||
| Vorlesung | 526173 | Mo 16:30-18:00 TEMP1 (1515|001) (×13) Fr 16:30-18:00 Otto Fuchs-Hörsaal (H03) (1385|003) (×13) | |||
| Übung | 526126 | Di 10:30-12:00 TEMP2 (1515|002) (×12) | |||
| Machine Learning with Graphs: Foundations and Applications | Fach-/Modulprüfung | 6 | 530455 | ||
| Model Checking | Fach-/Modulprüfung | 6 | 531296 | ||
| Modellierung und Analyse hybrider Systeme | Fach-/Modulprüfung | 6 | 531297 |